/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASB30/FONT#2=ASI30[LSP,JRA]/FONT#3=NGR40/FONT#4=METL/FONT#5=METS



␈↓ α∧␈↓Oct 24 *********** semi-final DRAFT  ***********

␈↓ α∧␈↓␈↓ αdNote:␈αthis␈αversion␈αassumes␈αthat␈αfinal␈αagreements␈αwith␈αNorth␈αHolland␈αare␈αacceptable;␈αsince
␈↓ α∧␈↓SAIL␈αis␈αgoing␈αdown␈αfor␈αan␈αindeterminate␈αlength␈αof␈αtime␈αit␈αwas␈αcritical␈αto␈αget␈αthis␈α out.␈αThe␈αdates
␈↓ α∧␈↓below␈αreflect␈αthe␈αeight-week␈αperiod␈αthat␈αNorth␈αHolland␈αrequires.␈αThis␈αrevision␈αdoes␈αNOT␈α
change
␈↓ α∧␈↓the due-date for papers, it squeezes the review and revision periods.



␈↓ α∧␈↓β␈↓ ¬]CALL FOR PAPERS
␈↓ α∧␈↓β␈↓ ¬;1980 LISP Conference

␈↓ α∧␈↓The␈α∩1980␈α∩LISP␈α∪Conference␈α∩ hosted␈α∩by␈α∪Stanford␈α∩University,␈α∩ will␈α∪be␈α∩held␈α∩ on␈α∪the␈α∩Stanford
␈↓ α∧␈↓campus, August 24-27, 1980. The proceedings will be published.

␈↓ α∧␈↓␈↓↓PURPOSE␈↓␈α↔Many␈α_areas␈α↔of␈α↔contemporary␈α_computer␈α↔science␈α↔have␈α_their␈α↔spiritual␈α_roots␈α↔ in
␈↓ α∧␈↓developments␈α
related␈α
to␈α
 LISP.␈α
 These␈αareas␈α
 include␈α
  machine␈α
  architecture,␈α
  systems␈α  design,
␈↓ α∧␈↓programming␈αmethodology␈αand␈αtechnology,␈α and␈αa␈α theory␈αof␈αcomputation.␈α  The␈αcall␈α
 for␈αpapers
␈↓ α∧␈↓reflects this breadth.

␈↓ α∧␈↓␈↓↓TOPICS␈↓ The following  topics are typical, but not exclusive:

␈↓ α∧␈↓␈↓ αT␈↓↓Languages␈α~and␈α~Theory.␈↓␈α≠Applicative␈α~languages,␈α~Object-oriented␈α≠languages,␈α~Proving
␈↓ α∧␈↓␈↓ β$correctness␈α⊗of␈α∃LISP␈α⊗programs,␈α∃Mathematics␈α⊗and␈α∃formal␈α⊗semantics␈α⊗of␈α∃LISP-like
␈↓ α∧␈↓␈↓ β$languages.

␈↓"	␈↓ α∧␈↓␈↓ αT␈↓↓Programming␈α∀Aspects␈↓␈α∪Programming␈α∀tools␈α∪and␈α∀environments␈α∪for␈α∀LISP-like␈α∪languages,
␈↓ α∧␈↓␈↓ β$Applications of these ideas to other languages.

␈↓"	␈↓ α∧␈↓␈↓ αT␈↓↓Architecture.␈↓␈α∂The␈α∂design␈α∞and␈α∂implementation␈α∂of␈α∞LISP␈α∂hardware,␈α∂Adaptation␈α∂of␈α∞existing
␈↓ α∧␈↓␈↓ β$machines, Specially designed LISP machines.

␈↓"	␈↓ α∧␈↓␈↓ αT␈↓↓Applications.␈↓␈α∩Non-traditional␈α∪applications␈α∩of␈α∩LISP.␈α∪This␈α∩area,␈α∩of␈α∪course,␈α∩is␈α∪not␈α∩easily
␈↓ α∧␈↓␈↓ β$categorized.

␈↓ α∧␈↓␈↓↓PAPER␈α∩SUBMITTAL␈↓␈α⊃Authors␈α∩are␈α⊃requested␈α∩to␈α⊃send␈α∩four␈α⊃copies␈α∩of␈α⊃a␈α∩full␈α⊃draft␈α∩paper␈α⊃not
␈↓ α∧␈↓exceeding 4500 words, and a one-page abstract, by  March 14, 1980 to the Conference Head.

␈↓ α∧␈↓The␈αabstract␈αshould␈αprovide␈αsufficient␈αdetail␈αto␈α
allow␈αthe␈αcommittee␈αto␈αapply␈α uniform␈αcriteria␈α
for
␈↓ α∧␈↓acceptance.␈α∩Appropriate␈α∪references␈α∩and␈α∩comparison␈α∪to␈α∩extant␈α∩work␈α∪should␈α∩be␈α∪included.␈α∩The
␈↓ α∧␈↓papers␈α
will␈α
be␈α
"blind␈α∞refereed".␈α
Traces␈α
of␈α
authorship␈α
should␈α∞not␈α
appear␈α
within␈α
the␈α
body␈α∞of␈α
the
␈↓ α∧␈↓paper; this information should appear ␈↓↓only␈↓ in a cover letter to the Conference Head.

␈↓ α∧␈↓Authors␈α⊃will␈α∩ be␈α⊃notified␈α∩of␈α⊃acceptance␈α∩or␈α⊃rejection␈α∩by␈α⊃May␈α∩16,␈α⊃1980.␈α∩ For␈α⊃inclusion␈α∩in␈α⊃the
␈↓ α∧␈↓proceedings, final papers are due  by June 27, 1980.

␈↓ α∧␈↓␈↓↓PROGRAM␈αCOMMITTEE.␈↓␈αThe␈αcommittee␈αconsists␈αof:␈αJohn␈αR.␈αAllen,␈αBruce␈αAnderson,␈αRichard
␈↓ α∧␈↓Fateman,␈α∂Dan␈α⊂Friedman,␈α∂Eiichi␈α⊂Goto,␈α∂Patrick␈α∂Greussay,␈α⊂Tony␈α∂Hearn,␈α⊂Carl␈α∂Hewitt,␈α⊂Alan␈α∂Kay,
␈↓ α∧␈↓Peter␈α⊃Landin,␈α⊃Joachim␈α⊃Laubsch,␈α⊃John␈α⊃McCarthy,␈α⊃Gianfranco␈α⊃Prini,␈α⊃Erik␈α⊃Sandewall,␈α⊂Carolyn
␈↓ α∧␈↓Talcott, and David Wise.

␈↓ α∧␈↓␈↓↓IMPORTANT ADDRESSES␈↓
␈↓ α∧␈↓␈↓ αDConference Head is:␈↓ πDIn charge of Local Arrangements is:
␈↓ α∧␈↓␈↓ αD John R. Allen␈↓ πD Dr. Ruth E. Davis
␈↓ α∧␈↓␈↓ αD Stanford Artificial Intelligence Lab␈↓ πD Department of EECS



␈↓ α∧␈↓␈↓ αD Stanford University␈↓ πD University of Santa Clara
␈↓ α∧␈↓␈↓ αD Stanford California    94305␈↓ πD Santa Clara, California   95053
␈↓ α∧␈↓␈↓ αD (415)497-4971␈↓ πD (408)984-4358

␈↓ α∧␈↓␈↓↓MEETING␈α⊂FORMAT.␈↓␈α⊂Besides␈α⊂the␈α⊂formal␈α⊂sessions,␈α⊂we␈α⊂expect␈α⊂to␈α⊂have␈α⊃several␈α⊂demonstrations,
␈↓ α∧␈↓including LISP machines.

␈↓ α∧␈↓Evening sessions  may be established, and informal workshops will be encouraged.

␈↓ α∧␈↓␈↓↓PANEL␈α
DISCUSSION.␈↓␈α
Tuesday␈α
evening,␈α
August␈α
26,␈α
1980,␈α
there␈α
will␈α
be␈α
a␈α
panel␈α
discussion␈α
on␈α
the
␈↓ α∧␈↓topic␈α_"What␈α_is␈α_LISP?".␈α_Even␈α_informal␈α_conversations␈α_will␈α_elicit␈α_several␈α_divergent␈α→if␈α_not
␈↓ α∧␈↓contradictory views of LISP; a organized effort should prove even more illuminating.